Software engineering

Results: 57508



#Item
851Software engineering / Computer programming / Computing / XSB / Prolog / Logic programming / Partial evaluation / Mathematical logic / Logic / Deductive database / Abstract interpretation / ECL programming language

Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:04
852Software engineering / Computing / Computer programming / Functional languages / Object-oriented programming languages / Concurrent programming languages / Programming paradigms / Scripting languages / Aspect-oriented software development / Object-oriented programming / Feature model / Objective-C

Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake

Add to Reading List

Source URL: www.infosun.fim.uni-passau.de

Language: English - Date: 2008-10-06 13:11:44
853Computing / Computer programming / Parallel computing / Software engineering / OpenMP / Data parallelism / Thread / Lis / Message Passing Interface / Standard Performance Evaluation Corporation

Hybrid Programming: Preparing for Exascale William Gropp www.cs.illinois.edu/~wgropp What This Talk is Not

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2016-08-16 11:52:11
854Fault-tolerant computer systems / Computing / Distributed algorithms / Computer programming / Inter-process communication / Paxos / Consensus / Software engineering / Haskell features / Algorithm / Futures and promises

CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2014-06-12 03:57:46
855Computing / Computer programming / Parallel computing / Software engineering / Application programming interfaces / Fortran / OpenMP / Standard Performance Evaluation Corporation / Thread

EZTrace: a generic framework for performance analysis Fran¸cois Trahay, Fran¸cois Rue, Mathieu Faverge, Yutaka Ishikawa, Raymond Namyst, Jack Dongarra To cite this version: Fran¸cois Trahay, Fran¸cois Rue, Mathieu Fa

Add to Reading List

Source URL: hal.inria.fr

Language: English
856Computer programming / Obfuscation / Software engineering / Computing / Index of standards articles / Standards / Index of Abkhazia-related articles

_ __ ___ __ ___ __ ___ __ __ ___ __ ___ __ ___ __ __ ___ __ ___ __ ___ __ __ ___ __ ___ __ ___ __ _ Colorado Genealogical Society C o m p u te r In te r e s t G r o u p N e w s l e tte r Mar.-Apr. 2009

Add to Reading List

Source URL: cigcolorado.org

Language: English - Date: 2016-02-09 15:01:05
857Naval warfare / Aegis Combat System / Anti-submarine warfare / Missile defense / Education / Academia / Aegis / United States Navy / Systems engineering / Test / Modeling and simulation

Aegis Test and Evaluation Engineer Technology Service Corporation (TSC), an Engineering Services Provider with concentration providing Radar & Sensor technology, Algorithm & Software development, Modeling & Simulation, T

Add to Reading List

Source URL: www.tsc.com

Language: English - Date: 2015-11-18 13:00:25
858Software / Application software / Mathematical software / Solid mechanics / Numerical software / Earthquake engineering / Structural engineering / OpenSees / Plasticity / MATLAB / Stress / Yield

Microsoft PowerPoint - HS Workshop Berkeley 07 April (OSN).ppt

Add to Reading List

Source URL: openseesnavigator.berkeley.edu

Language: English - Date: 2015-02-20 14:13:11
859Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Literate programming / QuickCheck / Scala / Haskell / Software bug

[Faculty of Science Information and Computing Sciences] Applied Functional Programming USCS 2011

Add to Reading List

Source URL: foswiki.cs.uu.nl

Language: English - Date: 2011-08-16 05:40:43
860Software testing / Software engineering / Computing / Evaluation / International Software Testing Qualifications Board / American Software Testing Qualifications Board / Australia and New Zealand Testing Board / Rex Black / Professional certification / Agile software development / Test automation / Certification

INTERNATIONAL SOFTWARE TESTING QUALIFICATIONS BOARD – ISTQB® www.istqb.org MEDIA RELEASE ISTQB® revamps product portfolio and releases roadmap

Add to Reading List

Source URL: www.anztb.org

Language: English - Date: 2016-02-23 17:28:24
UPDATE